power rules for logarithms